A higher order Blokh–Zyablov propagation rule for higher order nets

A higher order Blokh-Zyablov propagation rule for higher order nets

Higher order nets were introduced by Dick as a generalisation of classical (t,m, s)nets, which are point sets frequently used in quasi-Monte Carlo integration algorithms. Essential tools in finding such point sets of high quality are propagation rules, which make it possible to generate new higher order nets from existing higher order nets and even classical (t,m, s)-nets. Such propagation rule...

Higher Order Demand Propagation

In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non-strict functional language, which has a polymorphic type system and supports higher order functions and user definable algebraic data types. This report defines a semantics for higher order demand propagation and relates it to...

Higher-Order Nets for Mobile Policies

Since the early 80’s the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for mobile policies. The rules are used on the one hand for the specification of policy rules and on the other hand for the modification of policy rules, i.e. fo...

Higher Order Refinement Heuristics for Rule Validation

For rule validation there are no second and higher order refinement heuristics yet. This paper presents an example for second order refinement heuristics and introduces generic higher order refinement heuristics. It is proposed that rule refinement should be performed case-based, i.e. the whole spectrum from first order to higher order refinement heuristics can be processed instead of first ord...

WENOCLAW: A Higher Order Wave Propagation Method